//#include "ustandard_sys.h"
#include <stdio.h>
//#include <features.h>
#include <stdint.h>
//#include <sys/socket.h>
//#include <bits/types.h>
int main()
{
    uint64_t a = 1e10;
    printf("a=%llu\n", a);
    return 0;
}
